graph "graph.dot" {

   size="6.0,7.0";

node [shape=circle,fixedsize=true,style=filled,
      color="khaki",fontcolor="black",fontsize=18];

   1  [label="1", pos="0.511091,0.495758"];
   2  [label="2", pos="0.827608,0.736351"];
   3  [label="3", pos="0.598912,0.883493"];
   4  [label="4", pos="0.329140,0.849206"];
   5  [label="5", pos="0.144524,0.649536"];
   6  [label="6", pos="0.131444,0.377911"];
   7  [label="7", pos="0.296022,0.161426"];
   8  [label="8", pos="0.561249,0.101375"];
   9  [label="9", pos="0.803026,0.225860"];
  10  [label="10", pos="0.908219,0.476632"];
  11  [label="11", pos="0.786159,0.923226"];
  12  [label="12", pos="0.447041,1.000000"];
  13  [label="13", pos="0.137913,0.840835"];
  14  [label="14", pos="0.003415,0.520203"];
  15  [label="15", pos="0.106481,0.188132"];
  16  [label="16", pos="0.398885,0.000000"];
  17  [label="17", pos="0.743811,0.043836"];
  18  [label="18", pos="0.979862,0.299131"];
  19  [label="19", pos="0.996585,0.646429"];

edge [color="blue"];

   1  --   2;
   1  --   3;
   1  --   4;
   1  --   5;
   1  --   6;
   1  --   7;
   1  --   8;
   1  --   9;
   1  --  10;
   1  --  11;
   1  --  12;
   1  --  13;
   1  --  14;
   1  --  15;
   1  --  16;
   1  --  17;
   1  --  18;
   1  --  19;
   2  --   3;
   2  --  10;
   2  --  11;
   2  --  19;
   3  --   4;
   3  --  11;
   3  --  12;
   4  --   5;
   4  --  12;
   4  --  13;
   5  --   6;
   5  --  13;
   5  --  14;
   6  --   7;
   6  --  14;
   6  --  15;
   7  --   8;
   7  --  15;
   7  --  16;
   8  --   9;
   8  --  16;
   8  --  17;
   9  --  10;
   9  --  17;
   9  --  18;
  10  --  18;
  10  --  19;

}
